The LTS WorkBench
نویسندگان
چکیده
Labelled Transition Systems (LTSs) are a fundamental semantic model in many areas of informatics, especially concurrency theory. Yet, reasoning on LTSs and relations between their states can be difficult and elusive: very simple process algebra terms can give rise to a large (possibly infinite) number of intricate transitions and interactions. To ease this kind of study, we present LTSwb, a flexible and extensible LTS toolbox: this tutorial paper discusses its design and functionalities.
منابع مشابه
Effects of the Lateral- and Double-Thinking Strategies on the Chess Positions Solving and Performance Time
Background. The game of chess, which is viewed as a symbol of intellectual prowess, is a valuable educational tool which can improve cognitive behavior such as thinking models, etc.; but the effects of thinking strategy such as double thinking strategies (DTS) and lateral thinking strategies (LTS) on the chess performance is not investigated. Objectives. This study aimed to measure the effects...
متن کاملترکیب و قابلیت دسترسی حقیقی اسیدهای آمینه سه رقم سورگوم کم، متوسط و پر تانن در طیور
In order to assess and determine amino acids profile and their availability in different sorghum grain (SG) varieties, three SG varieties including low tannin (0.09% , LTS), medium tannin (0.19%, MTS) and high tannin (0.37%, HTS) were grown at the same location. The grains were analysed for their proximate analyses, tannin and amino acids. True amino acid availability (TAAA) was obtained by Sib...
متن کاملترکیب و قابلیت دسترسی حقیقی اسیدهای آمینه سه رقم سورگوم کم، متوسط و پر تانن در طیور
In order to assess and determine amino acids profile and their availability in different sorghum grain (SG) varieties, three SG varieties including low tannin (0.09% , LTS), medium tannin (0.19%, MTS) and high tannin (0.37%, HTS) were grown at the same location. The grains were analysed for their proximate analyses, tannin and amino acids. True amino acid availability (TAAA) was obtained by Sib...
متن کاملکارایی دو روش LTS و LIS در برآورد تعداد در هکتار درختان بنه (Pistacia atlantica Desf.) در جنگل های زاگرس
تعداد در هکتار در یک جامعه جنگلی بیانگر وضعیت موجود بوده و پایش آن، در ارزیابی تغییرات توده های جنگلی بسیار اهمیت دارد. از طرف دیگر، کاربرد روشهای فاصله ای در برآورد تراکم در جنگل، به ویژه جنگلهای تنک، گسترش فراوان یافته است. بنابراین این پژوهش با هدف معرفی و مقایسه دو روش مهم LTS و LIS در برآورد تعداد در هکتار درختان بنه در جنگلهای زاگرس انجام شد. بخشی از جنگل تحقیقاتی بنه در استان فارس با مسا...
متن کاملارزیابی غشای سیلیکون لیز دیده به عنوان جانشین بخشی از مطالعه Invivo پریکارد
Baekgrouund & purpose: Retrosterenal and pericardial adhesions formation after cardiac surgery makes a repeat Sternotomy is time consuming and dangerous, with high risk of iatrogenic trauma to heart, aorta, innominate vessels and grafts. Therefore we decided to find another substitute for pericard other than the ordinary ones in use, with the advantage of lower cost but good results...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015